$\vdash$  $\forall$$A$:Type, $x$, $y$:$A$. SqStable($x$ = $y$)